https://ubuntuhandbook.org/index.php/2019/02/customize-time-date-format-ubuntu-18-04-gnome-panel/